|
|
|
| e-Pub |
Previous | 
Home
Section: Dissemination
Teaching - Supervision - Juries
Supervision
-
Jean-Pierre Talpin is the supervisor of Simon Lunel's thesis on "Timed contract algebras for correct by construction real-time system design" and co-supervisor of Imré Frotier de la Mésselière with Mines ParisTech until June 2015.
Juries
Jean-Pierre Talpin served as Referee (rapporteur) for the HDR Thesis defense of Claire Paggetti , entitled "Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs".
Jean-Pierre Talpin served as Referee (rapporteur) for the PhD. Thesis Defence of
-
Elie Richa, Telecom ParisTech, entitled "Qualification of Source Code Generators in the Avionics Domain : Automated Testing of Model Transformation Chains".
-
Ahlem Triki, Université de Grenoble , entitled "Distributed Implementations of Timed Component-based Systems".
-
Yu Bai, TU Kaiserslautern , entitled "Model-based Design of Embedded Systems by Desynchronization".